Modelling Uniformity and Control during Knowledge Acquisition
نویسنده
چکیده
We develop a formal system dealing ‘spatially’ with certain aspects of uniformity and control during knowledge acquisition. To this end, we study an appropriate modality, which is essentially due to Baskent, against the background of dynamic epistemic logic. The new connective turns out to be rather complex, but hybridizing the source language enables us to prove some of the desired fundamental properties of the arising logic like completeness or decidability.
منابع مشابه
Graphic Representation and Visualisation as Modelling Support for the Knowledge Acquisition Process
Håkansson, A. 2003. Graphic Representation and Visualisation as Modelling Support for the Knowledge Acqusition Process. 79 pp. Uppsala. ISBN 91-506-1727-3 The thesis describes steps taken towards using graphic representation and visual modelling support for the knowledge acquisition process in knowledge-based systems — a process commonly regarded as difficult. The performance of the systems dep...
متن کاملAttacking the Knowledge Acquisition Bottleneck through Games-For-Modelling
Many model-based methods in AI require some sort of formal representation of knowledge as input. Acquisition of such formal models is either done manually, using a knowledge elicitation and modelling method, or automatically, applying knowledge discovery and machine learning techniques to available data. For the acquisition of highly structured, domainspecific knowledge, machine learning techni...
متن کاملSimultaneous Modelling and Knowledge Acquisition Using NRDR
Incremental refinement methods of knowledge bases ease maintenance but fail to uncover the underlying domain model used by the expert. In this paper, we propose a new knowledge representation formalism for incremental acquisition and refinement of knowledge. It simultaneously guides the expert in expressing his model of the domain during the actual knowledge acquisition process. This knowledge ...
متن کاملRE-Design KNOWLEDGE REPRESENTATION WITH DEKLARE A domain model oriented, industrial KA framework applied to VT
The paper this extended abstract describes presents the DEKLARE approach to modelling and representing Re-Design Knowledge in an industrial context. We furnish this description of DEKLARE with references to standard KA approaches such as CommonKADS [1] and to Sisyphus-II ́s VT [2] problem and solutions. We expect that a discussion of the DEKLARE approach during the workshop will be beneficial to...
متن کاملKnowledge Acquisition and Knowledge Modelling for Operational Research
This paper provides the OR practitioner with an introduction and discussion of the areas of knowledge acquisition and knowledge modelling and their utility to OR. To do this, recent knowledge-based approaches to a technique of interest to the OR community, neighbourhood search, will be used as a case study. References for further reading are provided.
متن کامل